isQ: An Integrated Software Stack for Quantum Programming

We introduce isQ, a new software stack for quantum programming in an imperative language, also named isQ. The aim of isQ is to make programmers write programs as conveniently possible. In particular: 1) language and its compiler contain many useful features, including but not limited to: classical control flow, such recursion; decomposition self-defined unitary gates; oracle circuit realization. 2) To it flexible, program can be compiled into several different kinds intermediate representation assemblies, QIR, eQASM, OpenQASM 3.0, QCIS (specially tailored the superconducting hardware at USTC). 3) Besides interfacing with real hardware, QIR simulator developed demonstration testing programs. isQ encompasses abundant optimizations high-level realize it, distinct MLIR dialect name isQ-IR proposed.